-
1 Lax Logic Programming
Mass media: LLPУниверсальный русско-английский словарь > Lax Logic Programming
-
2 LLP
1) Общая лексика: Партнёрство с ограниченной ответственностью (Limited Liability Partnership), юридическая компания (Legal Law Practice), быстроизнашиваемые детали, детали с ограниченным сроком службы2) Компьютерная техника: lightning location and protection system3) Авиация: деталь с ограниченным рабочим ресурсом (life limited part)4) Военный термин: Leased Long Lines Program, Lower Level Protocol, long lines program5) Шутливое выражение: Let's Loot People, Low Lunging Punch6) Юридический термин: Linear Logic Programming7) Финансы: Loan Loss Provision8) Сокращение: Line Link Pulsing, Low Level Parachute, Limited Liability Partnership(Товарищество с ограниченной ответственностью)9) Физиология: Live Long & Prosper10) Вычислительная техника: Link Level Protocol (BTX), Line Link Pulsing (Telephony)11) СМИ: Lax Logic Programming12) Глоссарий компании Сахалин Энерджи: Limited Liability Partnership13) Образование: Lifelong Learning Plan14) Сетевые технологии: Logical Link Protocol15) Сахалин Р: Low Low Pressure16) Логистика: lead logistics provider
См. также в других словарях:
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… … Wikipedia
John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann … Wikipedia
education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… … Universalium
United States — a republic in the N Western Hemisphere comprising 48 conterminous states, the District of Columbia, and Alaska in North America, and Hawaii in the N Pacific. 267,954,767; conterminous United States, 3,022,387 sq. mi. (7,827,982 sq. km); with… … Universalium
List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… … Wikipedia
Claude Shannon — Claude Elwood Shannon (1916 2001) Born April … Wikipedia
japan — japanner, n. /jeuh pan /, n., adj., v., japanned, japanning. n. 1. any of various hard, durable, black varnishes, originally from Japan, for coating wood, metal, or other surfaces. 2. work varnished and figured in the Japanese manner. 3. Japans,… … Universalium
Japan — /jeuh pan /, n. 1. a constitutional monarchy on a chain of islands off the E coast of Asia: main islands, Hokkaido, Honshu, Kyushu, and Shikoku. 125,716,637; 141,529 sq. mi. (366,560 sq. km). Cap.: Tokyo. Japanese, Nihon, Nippon. 2. Sea of, the… … Universalium
Drum and bass — DnB redirects here. For the Norwegian bank, see DnB NOR. Drum and bass Stylistic origins Jungle, Breakbeat Hardcore, Hip Hop, Funk Cultural origins early/mid 1990s; Bristol and London, United Kingdom Typical instrume … Wikipedia
United Kingdom — a kingdom in NW Europe, consisting of Great Britain and Northern Ireland: formerly comprising Great Britain and Ireland 1801 1922. 58,610,182; 94,242 sq. mi. (244,100 sq. km). Cap.: London. Abbr.: U.K. Official name, United Kingdom of Great… … Universalium